How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.

Happy people often fail to elaborate on persuasive arguments, while people in sad moods tend to scrutinise messages in greater detail. According to some motivational accounts, however, happy people will elaborate a message if they believe it might maintain their positive mood. The present research extends this reasoning by demonstrating that happy people will elaborate arguments from message presenters that convey positive hedonic attributes (i.e., source likeability). In a pilot study, we show that happy people believe persuasive messages from a (...) likeable source will be mood maintaining. The results of Study 1 demonstrate that these expectancies have important message-processing implications. In Study 1, sad participants elaborated arguments from both likeable and dislikeable sources, while happy participants only elaborated arguments from a likeable source. Consistent with motivational explanation of these effects, in Study 2, happy participants elaborated arguments from a likeable source when not distracted, but used likeability as a heuristic when distracted with a cognitive-load manipulation. Implications of these results for understanding the effects of mood on processing strategy, limitations, and directions for future research are discussed. (shrink)

Scientific endeavor is the pursuit of knowledge with the aim of advancing the welfare of all human beings. This endeavor is built on the ideology of science; thus, society relies on the integrity of the practice of science and of scientists themselves. The responsible conduct of research is the essence of good science; however, many of the pedagogical approaches used to instill integrity in science accentuate the negative rather than exemplify ideal professionalism. This paper makes an argument for the inculcation (...) of the appropriate conduct of research via a positive approach. We address the acclimation to the culture of science that supersedes diverse cultural backgrounds of students. We suggest techniques for the implementation of positive strategies and reinforce the benefit of approaching the teaching of ethical behavior as a competitive advantage. We highlight ways in which this approach can empower the individual scientist and the scientific community as a whole. Transmission of the culture of scientific professionalism formalizes the aims of an ideal scientific professional and encourages assimilation and identification as a member of the scientific profession. We purport that instilling scientific professionalism will spur responsible conduct of research. (shrink)

In the past, hypothesis testing in medicine has employed the paradigm of the repeatable experiment. In statistical hypothesis testing, an unbiased sample is drawn from a larger source population, and a calculated statistic is compared to a preassigned critical region, on the assumption that the comparison could be repeated an indefinite number of times. However, repeated experiments often cannot be performed on human beings, due to ethical or economic constraints. We describe a new paradigm for hypothesis testing which uses only (...) rearrangements of data present within the observed data set. The token swap test, based on this new paradigm, is applied to three data sets from cardiovascular pathology, and computational experiments suggest that the token swap test satisfies the Neyman Pearson condition. (shrink)

Instead of attempting to reduce rituals of healing to so‐called primitive psychotherapy this essay raises the question of whether contemporary psychotherapies might not fruitfully be viewed as ritual processes through which a small segment of modern society receives ritual leadership in times of crisis. Selected phenomena in contemporary psychotherapeutic practice are analyzed in an attempt to discern the ritual processes which are manifest in them. It is concluded that most modalities of contemporary psychotherapy manifest elements of ritualized submission, containment, and (...) enactment. (shrink)

It has been demonstrated that death certificates do not accurately record the actual cause of death in up to one-fourth of cases, as determined from subsequent autopsy findings. The purpose of this study was to explore the use of natural language autopsy data bases as an automated quality assurance mechanism. We translated the account of the major process leading to death, or the primary diagnosis, from all 45,564 narrative autopsy reports obtained at The Johns Hopkins Hospital between May 28, 1889, (...) and June 30, 1987, into the hierarchical system of Medical Subject Heading (MeSH) titles. We obtained a total of 125,772 MeSH title translations, 1,563 of them distinct (average 2.8 per case), ranging in frequency from 6,029 occurrences of LUNG to 1 occurrence apiece of 357 MeSH titles. The natural-language-to-MeSH translations showed expected trends over the past century: fewer infectious diseases; more cardiovascular and neoplastic disease among adults; and more respiratory diseases and congenital malformations in the pediatric age group. The greater availability of autopsy documents in electronic form should increase the value of this resource for quality assurance. (shrink)

This study uses the ATBEQ, as published by J.F. Preble and A. Reichel (1988) to measure attitudes towards ethical business attitudes held by final year South African Bachelor of Commerce students at Rhodes University. Three samples of students were assessed over three consecutive years of 1989, 1990 and 1991, and results are compared with samples (1988) of American and Israeli students and a sample (1991) of Western Australian students. A significant difference in attitudes was found to exist between the Israeli (...) and South African samples. A factor analysis of the questionnaire identified eleven factors of which seven are theoretically labelled. A revised version of the ATBEQ is suggested which excludes the poorly performing questions. (shrink)

Two‐ and 3‐year‐old children (N = 96) were tested in an object‐choice task with video presentations of peer and adult partners. An immersive, semi‐interactive procedure enabled both the close matching of adult and peer conditions and the combination of participants’ choice behavior with looking time measures. Children were more likely to use information provided by adults. As the effect was more pronounced in the younger age‐group, the observed bias may fade during toddlerhood. As there were no differences in children’s propensity (...) to follow peer and adult gestures with their gaze, these findings provide some of the earliest evidence to date that young children take an interlocutor’s age into account when judging ostensively communicated testimony. (shrink)

How do you connect the discipline of anthropology to both philosophy and geography? What about history, sociology, and other applied and theoretical forms of knowledge? In Earth Ways: Framing Geographical Meanings, Gary Backhaus and John Murungi challenge contributors to find the organizing component, or "framings," that enables them to bridge their own work to philosophy and geography. What emerges are truly creative contributions to interdisciplinary thought.

ABSTRACTThis study aimed to investigate the association of locus of control with reading and mathematics achievement of high school students with disabilities using data from the Special Educ...

ABSTRACT:Despite extensive research on organizational virtue, our understanding about factors that promote virtue within organizations remains unclear. Drawing on upper echelon theory, we examine the relationship between five top management team characteristics and organizational virtue orientation —the integrated set of values and beliefs that support ethical traits and virtuous behaviors of an organization. Specifically, we utilize prospectuses of initial public offering firms and 10-K post-IPO filings to explore how TMT composition with respect to member age, tenure, education, functional background, and (...) gender influences OVO. Additionally, we examine the moderating effects of organizational size, and argue that the more expansive structures and processes associated with larger organizations diminish the main relationships. Our findings, using two sources of data, are consistent, but somewhat mixed in their support for our hypotheses. Overall, TMT characteristics do appear to influence OVO, but in more complex and counterintuitive ways than initially expected. (shrink)

This volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifications of intuitive theories of spatial relations, time causality, substance and physical objects, and on naive psychology.

According to Kant, being purely rational or purely reasonable and being autonomously free are one and the same thing. But how can this be so? How can my innate capacity for pure reason ever motivate me to do anything, whether the right thing or the wrong thing? What I will suggest is that the fundamental connection between reason and freedom, both for Kant and in reality, is precisely our human biological life and spontaneity of the will, a conjunctive intrinsic structural (...) property of our animal bodies, which essentially constitutes human personhood and rational agency. I say ‘suggest’ because, obviously, no proper argument for such a conclusion could ever be worked out in a short essay. I would nevertheless like to motivate my suggestion by way of a commentary on the second part of Adrian Moore's extremely rich and interesting recent book, Noble in Reason, Infinite in Faculty. (shrink)

Organizational virtue orientation (OVO), an organizational-level construct, refers to the integrated set of beliefs and values that support ethical character traits and virtuous behaviors. To advance the study of organizational virtue, we examine OVO in firms making their initial public offerings (IPOs), with respect to key external stakeholders that serve as financial intermediaries (i.e., venture capital firms and underwriting banks). Drawing on stakeholder and resource dependence theories, we argue that mutual interdependencies occur between financial intermediaries and IPO firms such that (...) venture capital firms’ ownership levels and underwriter reputation are positively associated with the selection of more virtuous IPO firms. We also argue for the moderating relationship of IPO firm age on these main relationships; since IPO firms have more history and information availability, less importance will be placed on OVO in the selection process. In support of our hypotheses, the results of this study suggest the organizational virtue of IPO firms influences the selection decisions of financial intermediaries by reflecting positively on these key stakeholders to improve legitimacy and reputation. (shrink)

Cambridge’deki büyük akademik cemaatin sakinleri olan bizler bir araya geldik ve hoşgörü ve onun egemen politik iklim içerisindeki yeri hakkında dostça ama ateşli bir tartışma yürüttük. Okuyucu, bizim nerelerde aynı düşüncede olmadığımızı bulmakta hiçbir zorluk çekmeyecektir. Diğer taraftan, farklı başlangıç noktalarından ve farklı yollardan hareketle yaklaşık olarak aynı yere ulaştık. Her birimiz için, egemen hoşgörü kuramı ve pratiğinin, incelendiği takdirde, korkunç politik gerçekleri gizlemeye yarayan bir maske olduğu ortaya çıktı. Kızgınlığın tonu makaleden makaleye keskin bir şekilde artmakta; belki de boş (...) yere, okuyucuların bu noktaya getiren akıl yürütmeyi takip edeceklerini umuyoruz. Nihayetinde bu kızgınlık hem kafa hem de kalpte ikamet etmektedir…. (shrink)

Many situations require the simultaneous processing of auditory and visual information, however, stimuli presented to one sensory modality can sometimes interfere with processing in a second sensory modality (i.e., modality dominance). The current study further investigated modality dominance by examining how task demands and bimodal presentation affect speeded auditory and visual discriminations. Participants in the current study had to quickly determine if two words, two pictures, or two word-picture pairings were the same or different, and we manipulated task demands across (...) three different conditions. In an immediate recognition task, there was only one second between the two stimuli/stimulus pairs and auditory dominance was found. Compared to the respective unimodal baselines, pairing pictures and words together slowed down visual responses and sped up auditory responses. Increasing the interstimulus interval to four seconds and blocking verbal rehearsal weakened auditory dominance effects, however, conflicting and redundant visual cues sped up auditory discriminations. Thus, simultaneously presenting pictures and words had different effects on auditory and visual processing, with bimodal presentation slowing down visual processing and speeding up auditory processing. These findings are consistent with a proposed mechanism underlying auditory dominance, which posits that auditory stimuli automatically grab attention and attenuate/delay visual processing. (shrink)

This article provides an account of a collaborative teaching and learning project conducted in the English programme at the University of Tasmania in 2015. The project, Blended English, involved the development, implementation, and evaluation of learning and teaching activities using online and mobile technologies for undergraduate English units. The authors draw on the project’s findings from survey and focus group data, and staff reflective practice and peer review, to make the case for increasing technology-enhanced teaching and learning in English literary (...) studies. The blended approach described in this article has the capacity to enhance disciplinary learning; increase accessibility for students in remote and regional areas; facilitate deeper scholarly enquiry; and encourage staff to develop innovative, collaborative, and flexible teaching and learning practices. Appendix 1 presents examples of the project’s practical outcomes, as well as outlines of and reflections on three of the activities develop... (shrink)

Background: Freezing of gait is a common symptom in Parkinson’s disease and can be difficult to treat with dopaminergic medications or with deep brain stimulation. Novel stimulation paradigms have been proposed to address suboptimal responses to conventional DBS programming methods. Burst-cycling deep brain stimulation delivers current in various frequencies of bursts, while maintaining an intra-burst frequency identical to conventional DBS.Objective: To evaluate the safety and tolerability of BCDBS in PD patients with FOG.Methods: Ten PD subjects with STN or GPi DBS (...) and complaints of FOG were recruited for this single center, single blinded within-subject crossover study. For each subject, we compared 4, 10, and 15 Hz BCDBS to conventional DBS during the PD medication-OFF state.Results: There were no serious adverse events with BCDBS. It was feasible and straightforward to program BCDBS in the clinic setting. The benefit was comparable to conventional DBS in measures of FOG, functional mobility and in PD motor symptoms. BCDBS had lower battery consumption when compared to conventional DBS.Conclusions: BCDBS was feasible, safe and well tolerated and it has potential to be a viable future DBS programming strategy. (shrink)